home *** CD-ROM | disk | FTP | other *** search
/ Aminet 25 / Aminet 25 (1998)(GTI - Schatztruhe)[!][Jun 1998].iso / Aminet / text / tex / amiweb2c.lha / AmiWeb2c-2.1 / texmf / pastex / rexx / Quit_TeX.ced < prev    next >
Encoding:
Text File  |  1997-02-09  |  847 b   |  33 lines
  1. /*************************************************
  2. ** ARexx Script to stop the "Start_TeX" script. **
  3. ** 19.08.90 Georg Hessmann                      **
  4. ** 02.08.95 Andreas Scherer: Start server.      **
  5. *************************************************/
  6. Options Results
  7.  
  8. If Show('Port','Start_TeX') Then Do
  9.   Okay2 "Soll der ARexx TeX-Server entfernt werden?"
  10.   If RESULT = 1 Then Do
  11.     Address 'Start_TeX' 'quit'
  12.     Address COMMAND 'wait 2'
  13.     Address 'showdvi' 'exit'
  14. /*
  15. ** Clean up for defaults
  16. */
  17.     'Load Dos/ARexx Commands' 'S:RexxCommands'
  18.     'Load Definitions' 'S:CEDMacros'
  19.     Specify 'S:CEDDefaults'
  20.     'Change Current Directory' 'SYS:'
  21.   End
  22. End; Else Do
  23.   Address Command "InitTeX"
  24.   Address Command "WaitForPort Start_TeX"
  25. End
  26.  
  27. /*
  28.  * The `else' case previously was the line
  29.  *   Okay1 "Kein TeX-Server vorhanden!"
  30.  */
  31.  
  32. Exit 0
  33.